An Electronic Supplement for the Article “ Invariant - based Supervisory Control of Switched Discrete Event Systems ” by S . Reveliotis and Z . Fei ( to appear in IEEE Trans . on Automatic Control )
نویسندگان
چکیده
Well-posedness of the considered SC problem: We begin our analysis of the considered SC problem by providing the necessary and sufficient condition for the existence of a correct supervisor. For the systematic characterization of this feasibility condition, we need the following definition: Definition 1. Consider an s-DES G ≡ 〈X × S, Σ ∪ E, δ, (x0, s0)〉, and the supervisor Γ∅ defined by: ∀(x, s) ∈ X × S, Γ∅(x, s) = ∅ (1) Then, for any global state (x, s) ∈ X × S, the “uncontrollable reach” Reach(x, s;G) of this state is defined by Reach(x, s;G) ≡ Reach(〈X × S, Σ ∪ E, Γ∅/δ, (x, s)〉) (2)
منابع مشابه
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملA new switching strategy for exponential stabilization of uncertain discrete-time switched linear systems in guaranteed cost control problem
Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کامل